$\forall$$T$:Type, $P$:($T$$\rightarrow$Prop), $L$:$T$ List, $x$:$T$. ($x$ $\in$ $L$) $\Rightarrow$ ($\forall$$y$$\in$$L$. $P$($y$)) $\Rightarrow$ $P$($x$)